perm filename AMTT8.360[GF,SYS] blob
sn#803472 filedate 1985-10-25 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T EαAHBEλβ∀ eλβ∀ λ↓T λ↓T0λα∀0λα∀0λα∀0⊂↓S`@⊂α∪`@⊂α∪`0_α∪`0_α∪`0 ↓S@@ α∪@@ α∪ADpε∪!dhα↓@Dhα↓@Dhα↓@DP∧↓↓∧P∧↓↓∧P∧↓↓∧("⊂B⊃⊂εh%βi!&↓P0&↓`(&↓p &↓p &↓p &↓`(&↓P(&β)@`&β)@ β↓ @ β↓ @ βA @ βA @ βA @ βA @ βA @ β↓)@ αA)!%βi p"Qλ1⊂ Fβ0β@@4xεS!thβ@t`αA dXαA`TXαA`TXαα DPαB DPα∩@DPα∩@DPα∩@DPα∩@PHα∩`@Hα∩`P@α∩`P8αSP0α∪ `⊂β∪!Tx¬∀t("⊃α!_ε`%βI x&↓08&↓P(&↓`(&↓`(&↓p(&↓p(&↓↓ &↓↓ &↓↓ &↓↓ &↓↓ &↓↓ &↓p(&↓p(&↓p &↓`(&↓`(&↓P(&↓08%βi p%βλT "Db1@α$P ∩B$hα↓`Dhα↓`Dhα↓`Dhα↓`Dhα∪ @_α∪ @_α∪ @_α∪!4h¬S!4hα`Dhα`Dhα`Dhα∪ @@α∪ @@α∪ @@α∪ @@α∩B4P RB4("⊃B1_ε↓_%∧i!_&A↓ &A↓ &A↓ &A↓ &A P ↓A P ↓A P ↓A PX&BiPX&A0 &A0 &A0 &A P &A P &A P%αI P"Qλq⊂ Fβ(β@ 4pε∪!T`β t`α@`dXαA TXα↓@TPαA`DPαA`DPα∩@DPα∩@DPα∩@@(∧R@@(∧R@P ∧R@P8α∩`@8α∩`P0α∪P αS`⊂β∪!Tpε∪a4("∩α!_ε@↓α @↓α @↓α @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @p&βI@p&↓` &↓` &↓` &↓` &↓` &↓` &↓` &↓` %α @%α @%α @"Q ⊂pλFβπ∩AdPπ∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`DPπ∩AdPπ⊃(DPλDc↓@βαjX(αj@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ %@`` %↓ P %↓ @(%↓@ 0%β)0X&BλT %DB1@p_βR@p_βR@p_βS00↓S0(↓S0(↓S0 ↓S0_↓S0_↓S0⊂↓S0λα∪↓∧`∧SPλ↓S@_↓S@_↓S0(↓S0(↓S00↓S00↓S08↓S08↓R@p βR@p βR@p βQ(D` Dc↓@αI P%αIP &A P &A P &A P &A P &A P &A P &A P &A↓ &A↓ &A↓ &A↓ %∧i!_%∧hT &EαA@p0βR@p0βR@p0βS0λ↓↓ T`↓@ (@ 4`↓@ ↓ 4`↓@ ↓ 4`↓@ 0_↓ 4`↓@ 0_↓ 4`↓@@ _↓ 4`↓@@ _↓ 4`↓@@0⊂@@4`↓@@0⊂@@4`↓@@0λ↓@4`↓@` λ↓@4`↓@`P⊂↓S0_α@@4`↓@`P⊂↓S0_α`4`↓A0_↓S0 ↓@`4`↓B@4PβA@tPβA@tPβA@t("∪B!_ε0αAi 0αAi 0αAi@(βi@(βi@_@@P_&`⊂⊂α@i@_@@P_&` ⊂αi@_↓@@_&` ⊂αi@_↓@@0_&`0⊂↓@i@_↓@@0_&`@⊂↓i@_α@ _&`@⊂↓i@_α@@⊂_&`P⊂@i@_α@@⊂_&``(&``(%↓`P %↓`P %↓`P "Q q εβ_¬∪↓DXπ∩`P αR@P0αR@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@P0αR`P αRad`ε∪!$("∀α!⊂εx%∧ !λ&AP(&A`(&A`(&Ap &Ap &Ap &A`(&A`(&AP(&CIPh&C P &A P &A P &A P %αI P%αHT (Dα!ha$`ε∩adXαATPαA@TPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPααDPα`0⊂α∩@@_α DPα`@λα∩@@_∧R@P_∧∩`P⊂βRad`ε∪!5 αU E(αU@E0α⊃(E⊂ Eβ↓@β p%βi@ ↓AI@ αA)@ αA)@ β↓ @ β↓ @ αA)@ αA)@ ↓AI@h&β @X&↓0(&↓@ &↓@(&↓P &↓P &↓P@&↓P@&↓P@%α0@%α@0%α@("Q
1 εβ ε∪↓dXπR``⊂βR@P0αR@@@α∩@@@α∩@P8α∩@TPβRa$`¬S!4x¬∀`tPα↓`TPα↓`TPααDPααDPαA@TPαA@TPβ@@dPπ∩ATPε⊃(E
¬β↓@¬ ! %¬ α↓@ %↓@ α↓ α↓@ %↓@ α↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
'BIpP'BHT *EαA@↓ ∧∩A ∧∩A ∧∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪@@α∪P0αSP0αS P αS `⊂β∪ADx¬∀ d("∃BA ε@αα @αα @αα P β↓ P β↓ P β↓ P β↓ ` α@i` α↓ ` α↓ ` α↓ p_αip ↓@ip ↓@ip ↓↓ p ↓↓
_↓j @j @j @j⊂_@J⊂_@J⊂0(AJ⊂0"Q
q
εββαdPβαdPβαdX↓A@ ↓S0 α@4`↓A@⊂↓S0 α@4`↓@`P⊂↓S0_α@@4`↓@` λ↓@4`↓@` λ↓@4h↓` λ↓@$h↓@@ λ↓ 4h↓@@ λ↓ 4h↓@ 0λ↓ 4h↓@ 0λ↓ 4h↓@ 0λ↓ 4h↓@ 0⊂@ 4p↓ 0⊂@ $p↓ _@ $p↓ _@ $p↓ _@ $pα@`Dpα@`Dpα@@T("⊗αA ε⊂@↓α 0@↓α 0@↓α ` α↓ p ↓↓ p ↓↓
@(α
⊂0(AJ )↓
(AJ⊂0(α
@'A 'A '↓@ '↓@ &A` %α@@%α@@%α@@"Q⊃
εβ∧↓↓∧P∧↓↓∧P∧↓↓∧hα↓@Dpα↓Dpα↓Dpα@`Dxα`4xα@Eα 5α 5λ↓@ %λβ∀ e⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E∧∀↓¬∧⊃(EPλ∧C↓@Ci0x%Ci0 αA)0 αA)0 α↓)0 α↓* ()↓*⊂((A*('AIp('↓)`(&A)P(&↓ P &↓ P %A ` %A ` %∧ !%∧λT 0D"1λλ@`t`¬∩aDXα@@dXα@`T`↓A E α∪a∀h¬RaTP∧@DPαA DPα↓@DPα↓ TPα@`dXλ∩b∧hβ@ d("_B1_ε8%↓i 8&A P &A P &A⊂0&C)Pp&A` 0&A P(&A `(&Ap(&A↓ &A↓ &A↓ &A↓ &Ap(&A `(&A@@(&A` 0&CIPh&A⊂0"Q0xλD"⊂0βSA4hε∪`⊂αR`P αR@P0↓R@TPα∩@DPα∩@DPαR@TXαA@4`β`Dhε∪A5βQ(F Eβ↓@∧α
@)α
` +↓
` +↓ pX&C)@p%A@00%A P(%↓ `(%↓ p %↓↓ %↓↓ %↓↓ %↓↓ %↓ p %↓ `(%A @0%A@ 8&∧)Q'A@⊂8"QQ ∧"⊂(βS!$`ε∩``⊂β∩`P αR@P0αR@P0αR@@@α∩B∧Pλ∩B∧PαR@TXαA@4Xβ↓D`εS!4x∧⊃(F0λ∧#↓@∧↓JP'Bip(A)p ↓↓)p ↓@ip %βi x%βip 'A p 'A p 'A p 'A p 'A p 'A p%βI p"Qq⊂ FB⊂(β ThπSα∧XβA∀XαAtXα↓@DXα↓@DXα↓@DXαATXβ@d`ε∩aDX¬∩`DXεRat`πRb∀PαA`dPαBTPαα@DPαα@DPαBTXβ↓dXλ∪!Dx∧⊃(F@
¬β↓@↓i 8%↓iP &A P &A P AiPh&CIP8↓↓)P0↓A)P(αA P β↓ P β↓ P β↓ P β↓ P β↓ P β↓ P β↓ P β↓ P β↓ H↓α) H↓α) H↓α(T 4Cb⊃@↓@4xαS`TxαT48RA$P¬∩A%α∀Eα∀Eα∀Eα∀Eα∀Eα∀DPπRAtPπQ(FP¬CD⊃@β@j((↓*((@hpλ&α)@H&α*⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A 0_↓A (A) (A P%B @0"Q
1_
εββ∩@dPβ∪ 4h↓S 4h↓S 0_¬∪ 0_¬∪ 0_¬∪ 0(↓S 0 ↓S 0_↓S 0⊂↓S 0λα∪!∧hα@ 4hα`4h↓A 4h↓A 4h↓A@4h↓A`4P∧@A∧P∧@A∧P∧@A∧("≠α↓⊂εP%αI P(↓
(↓
(↓
(↓
(↓
(↓
(↓
(↓
(↓
(↓ !%∧ !"Q
Q(
D"⊂¬@TP ∩B4`α@ `λα∪@_α`4`α`@_↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4`↓A0 ↓S0 ↓A4Pβ@P⊂β∩@`⊂α@@dPβ@P⊂β⊃(Fp
¬α⊃λ↓`⊂8%∧ !λ&A` (&A@0(&A P &A` &A` &A` &A` &A` &A` &A` &A` &A` %α H%α H%α H"Q
q ∧"⊂(β∪!$`ε∩``⊂β∩`P αR@P0αR@P0αR@@@α∩@@@α∩@@@α∩@@@α∩@P0αR@P0αR`P αR``⊂β∪↓Dh¬∪`d("≤α1_
∧ 8AI!%∧)P8↓↓IP(αA)P(β↓)P βA)P ∧↓ P ∧↓ P ∧↓ P ∧↓ P βA)P(β↓)P0α↓)P8↓↓IPp&C)P AIP &A P &A P &A P%αI P"Q∞⊃
FB⊂(β@ Dhπ∪↓tXβ@@tXαA dPαA`TPαBDPαα DPαα DPαα DPαα DPαA`TPαA`TXαA dXβ`t`πS!dxβ@ E8α∃`E8α∃`E8α∃`E ¬∃↓% ¬⊃(G⊂ ∧b⊃λα 8%∧I!⊂'α⊂('↓@0('↓@@_'↓)`('↓ ` '↓ ` '↓ ` '↓ h%β) h"Q∞0x ∧"⊂_¬S↓DXεR@`⊂β∩@P(α∩@@0α∩@P(α∩A∧X¬S↓E∧R@@(β∩@@8α∩@@0αR@`_β∩AdPεRA4("≥α↓λ¬@@ '↓ ` '↓ ` %∧ !%∧ ` '↓ ` '↓ ` '↓ ` '↓P_'↓P_'↓P_'↓P_'↓ 0 'β pP(αλT :EαAλλ@p_βR@p_βR@p_βS @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @0α∪ @(αS P_β∪"∀pλ∀↓d("≥B!_λD @↓α @↓α @↓α P_βiP_βiP α@i`_αi`_αi`_αip_↓@Ip_↓ip_↓j_@J_@J_@J0(A
⊂ "Q∞q⊂ D"⊂β↓`TPβ↓`TPβ` ⊂αS0_α 4`↓@`@λ↓S0_α 4`↓@@Pλ↓S0⊂α@ 4`↓@@ λ↓ 4h↓@ λ↓ $h↓@ λ↓ $h↓@ λ↓ $h↓@ λ↓ $h↓@ λαS `λαS@@⊂α∪@@⊂α∪@@⊂α⊃(G@ ∧b⊃λα @%α @%α @'`@_'@` _'@` _(↓J⊂ (A
⊂ (A
0'@` _'@` _'`@_%α @%α @%α @"Q∂⊃⊂ FB⊂∧A∧P∧A∧P∧A∧h↓A@4h↓A@4p↓A 4p↓A4p↓A4x↓@`4x↓@`%↓@5↓@ 5↓@ %λ↓ %λ↓ %λαT@5⊂↓T@5λ↓T 4`↓@@4X∧∩a∧XβR`d`α⊃(GPλDB⊃λD 1%D 0 αAI0 αA)0 α↓* 0(AJ0'AI`0&AIP(αA @(β↓ 00β↓ !λ%∧)!λ"Q↓⊂ εβ ∩B$P ∪ @8α∪ @8α∪ @8α∪ @8α∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ DP¬∩A$P¬⊃(@λ ∧c↓@β↓J0(↓J0'B p@'B `P'αI` ↓↓ ` ↓↓ P(↓↓)P(↓↓)P α↓ @(α↓)@(α↓)@ β↓ 0(β↓)0(β↓)0 ∧↓ 0 ∧↓ (∧↓)!⊂%∧I!⊂"Q! εβ_¬∪↓DXπ∩`P αR@P0αR@@@α∩@@@α∩@@@α∩@@⊂α@DPα `λα∩@@λβ DPα `λα∩@@λβ DPα `λα∩@@λβ DPα `λα∩@@⊂α@DPααDPααDPααDPαA@TXαATXπ∪↓Dh¬⊃(@_ ∧c⊃HβA
0(↓J0(@⊂_(@⊂_(@⊂_'@`⊂ '@`⊂ '@`⊂ '@`⊂ '@` _'↓ '↓ '↓ '`0 '`0 &A@ &A@ &A@ &A@ &A@ &A@ %α @%α @%α @"QA εβλ∩B∧Pλ∩@@@α∩@@@α⊃`4Xα↓@DXα↓@DXπ∩adXπ∩`@0α∩`@0α⊃`4PααDPααDPλ∩B∧Pλ⊃(@( ∧c↓@∧I!⊂%∧I@ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ @ β↓ 8α↓i 8α↓i 8α↓hT β∧B1@α$P ∩B$XαBDXαBD`αA`D`αA`DhαS TpαS@TxαS`TxαS@TpαS ThαSP8α∪P8α∩`P@α∩`P@α∩B$P ∩B$("↓b!_ε β↓ 00α↓I @↓α @↓α B⊂ %↓ 0↓↓ ↓↓@ (↓J⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A `P'αI`P"Q↓↓⊂ Fβ ¬∪A$p¬∀ Dx∧∪!D`π∩b∧Xα@ @λαR@P⊂α@TPα@@@⊂αR@@_α`DPα`@_α∩@@_α`DPα@@@⊂αR@P⊂α@TXα@ @λαRb∧`π∪!Dx∧∀ Dp¬∪A$p¬⊃(@Hλ∧C↓@↓BIPP&BJ %↓ ↓↓ ↓↓ %↓ ⊂ A) (A⊂(%A⊂ A 0 A⊂ %A⊂ A 0 A⊂ %A⊂ A 0p%CI@`&β @`&BI`@'AJ &BIPP&BHT ¬∧B1@↓!∧hε∪↓dXβ↓dPβ↓@dPαBTPαα@DPαα@DPαα@DPαα@DPαα@DPαBTPαBTXααDXααDXαA@TXαA@T`α↓@D`αAT`αATPβAtP∧A∧P∧A∧P∧A∧P∧A∧("α!_ε`0'αIP`&↓@ 0&↓ @(%A `(%A↓ %A↓ %↓!(%↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓ %↓!(%A↓ %A↓ %A `(&↓ @(&↓@ 0&C `P(↓HT _CB!@↓ Dxα∪@Thβ∪tP∧RA∀P∧S`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∩AdPπ∩Ad("B↓⊂ε@@&αi0p%↓@00%↓ `(%↓ `(%↓ p %↓ p %@a *A*P(*↓*@()A* 0(AJ0'AI`0↓↓ P0↓A @0α↓ 0(β↓ !%∧ !"Qε1 εβ βS↓4XεR`P_β∩`P αR`P(α∪00α∃U α∀@dp∧SA∧p∧T`U(α∃ U0α∩`0@α∩@P8α∩@P0αR@P(β∩@`_β∩aT`¬S@t("
α!_ε↓ )A*0λ@j ⊂@j ⊂@j⊂⊂↓j_↓j⊂↓@ip_↓@i`_αi`_αiP_α@iP⊂βi@_βi0_β@i0_β@i!⊂%∧I!⊂*@jP_*@j⊂X(Bj⊂X"QεQ εβλπ∩adXπ∩`DXα∩`DXα∩`DXα∩a4Xε∩aTXβ@dXαA TXα↓@U0α∩`0@α∩@P8α∩@P8α∩@P0αR@P(αR@`_β∩aT`¬S@t("
B!_εp8'BI``&A@ (&↓@0(%A@@(%A `_%A (Ai x%∧ @↓AI 8αA) 0βA) 0βA) (∧A (∧A (∧A 0(βA)0(βA)@(αA)@0↓AIPh'αj8"Qεq ε#⊂α∩B∧Pλ∩B∧Pα↓@TPα↓ TPα↓dPα↓UλαT Uλα∀UαTDxαS`Txα∪`DpαS@Tpα∪@Dpα∪@Dpα∪@D("∞α↓⊂ε@@&β 0p%↓` 8%↓ `(%↓↓ %↓↓ %↓↓ %A` %A @(&β `@&BI0(α↓) (β↓) ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ (β↓) 8↓↓i0p&β `@"Qπ⊃⊂ Fβ(βS!4`εR``_β∩`P(αR@P8αR@P@α∩@@Hα∩@@HαR@@Pα∩@@Pα∩@P@αR@P@αR`P0β∩``_∧∪α∧hπS`pλα∃@Th↓A@T`αAT`α@@d`ε∪!$pβQ(B λ∧CaXβ@J (↓ `@&Bi0p%CI (A⊂(%↓ A) ↓↓⊂(%↓ ⊂ A) (A _%αI0P&αiPX'BJP%@` A) (A⊂(%↓ ⊂ ↓↓ (A %↓ ⊂ A) (A⊂(%CI0h&αi`@(↓
(@HT ∪∧bA@↓ Dpβ∪!∧h∧∪ 0⊂↓S 0⊂↓S 0⊂↓S 0λε∪"∧hβ@!∧hβ↓DhαA 4hαAD`β↓DXβ@`DP∧@@DPα @λα∩@@⊂∧∩@@⊂βR@@_α@`4Pα@@P_↓R@Pλβ@ DXλRaλβS`_αQ(@xλ∧Cx∧j⊂((A*⊂()hp⊂(A
⊂ (A
⊂ (↓*('A)P0&↓I00%↓@`_%↓ `(%↓p(%↓@@0%Ci0p&BHT ∨Dα!@a$Xπ∩AtPβ↓dPαA`DPαA@TX↓A@e_β∀@eλβ∀TxαS`Txα∪`Dxα∪`D8↓∀4xαS`TxαT4("∧↓qλλD P%αI P(↓
(↓
(↓
(↓
(↓
(↓
%βi x%βhT λBaaPλ@A∀`∧S↓∃λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DX↓@`DPα@ TPα@ DP¬∩a∧`β⊃(AH ∧c↓@βα ``&CIP0↓↓IP β↓ P αA)P α↓I 8B 8Ai 8AiP ↓AIP αA)P αA)P β↓)P β↓)P βA P βA P βA P βA P β↓)P β↓)P α↓I!%βi h"Qβ!⊂ D"⊂⊂β@TXπRb∧Xλ∩a0λαS0⊂α@@Eλα`Eλα`Dpπ∪α∧XλR@`λα∩@P⊂αR@@_α@@4Pα@ pλ↓RB∀Xλ∪`⊂β⊃(AX ∧b⊃λ↓A@ &βI1%D 0 ↓αi (↓↓@⊂ %↓@ ↓↓ α↓ %↓@P%↓@P%↓@P%↓@ %↓ 0%A 0@i0`@i1&βiP0↓↓(T ∞∧α!hC 58↓U@E0α∃ E(α∪a∀h¬S↓DXβ@dXα`tPα↓↓∧Pα`@λα∩@0 α@4P↓@`@_↓R@0_α`4P↓@@@ ↓R@@λα`DP∧↓DXβ@`DXβ@d`ε∪↓4`∧R`DXα∩@DPα∩@4P↓Q(BλαC#↓@@i (%↓) (%↓) (%↓) (%↓) (%A 0 %A 0 %A 0 %Aλp⊂%@i (%↓) (%@hT ⊃DB1@↓@ ↓∪`@⊂α∪`@⊂α∪`@⊂α∪`@⊂α∪`@⊂α∩b∧P ∩B$Xλ∪@@⊂α∪@@⊂α∪@@⊂α∪@@⊂α∪@@⊂α∩b∧P ∩B$Xλ∪ @⊂α∪ @⊂α∪ @⊂α∪ @⊂α∪ @⊂α∪@ ↓⊃(B( ∧caX↓↓p⊂%A@P %α@ %α0(%` _↓A _↓`0 %` _↓↓) _↓` %α⊂(%α⊂ %A@ &↓ ()↓
(A*⊂ (↓* (↓ p('A0 'A 0'↓ ⊂@'↓ @&A _↓iP ↓@` _&A0_↓i@(↓B @ αα @ αAIP⊂βAλT ∪AA`P DPβ∩@dPβ∩`Th↓SDXαR@TPα∩@4("
↓!λ∂ε`p_(↓ p('↓)P(&↓)@ %A)0 %A (%↓) %↓ %↓ %↓ %↓) (%A 0 %A)@ &↓)P('↓)p((↓
⊂_"Q¬⊂PεGC0↓R@DPαR`T`αS Tpα∪@Txα∪`DxαS`Uα∀Eα∀Eα∀Eα∪`TxαS`Dxα∪@Tpα∪ T`αR`TPαR@DP↓Q(BPπ∧"↓(βj_(j⊂%`0⊂↓@i ↓@ %↓ ⊂⊂A)@P'A p &αI (@@⊂(%↓ ⊂↓↓ _↓@@0_(j_(hT ∃Dα!
↓`%α∀Eα∀Eα∩adPλ∩B∧Xπ∀Eα∀Eα∀Eα∀ $("Ph∧↓⊂_%↓) (%↓)0 %A (%↓ _"Q¬`(εA@λ↓R@TPαR@TX↓Q(Bxλ∧CaXε@J` +↓
P(*A
@(*↓
0()A
()↓
(A*⊂ (↓* 'A)p '↓)` '↓ P(&A @(&↓ 0(%A (%↓ %@HT ≥↓!Qλλ@ 4PαR@TPαR`48βR`4PαR@TPαR`4("∞`Ph
D ⊂_%↓) (%↓)0_#Ai0_%↓) (%↓)0 %A (%↓ _"Q↓`(εF↓pλ↓R@TPαR@TX↓Q`$Xα∩`DXα∩`DXα∩`DXα∩@TPαR@TPαR@TPαR@TPαR@TX↓Q(Ch ∧a!λD !⊂%∧I1#@I1%∧I!⊂%DλT ∧α!@↓@dp¬∪!Dhα@@T`αA∧Xα@!∀Xα!$X↓@@@λαR@@λα`DPα @_α∩@0⊂↓A 4P↓@@0(↓R@0⊂↓A 4P↓@@0(↓R@0⊂↓A 4Pα @_α∩@@λα`DX↓@@@λα∩`@λ∧R`PλβS@⊂∧∪ P_αS!Tp¬Tt("⊗a1_∂ε`X%αi X%↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ X%αi X"QPXεπC0¬RA4P¬T Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ DP¬RA4P¬Q(Fββ!!P↓@i@ %A) (%↓ _%↓) 0%↓I 0%AλT α!P0 $PαR@tXβStpαT$("∧a⊃βε`⊂'↓)@8%Ai 8%↓)0⊂"Qα@pλA"`α↓@DPβ@dPπ∪↓$h∧∪`D("¬!aλβε_∧i _∧i β↓ 0↓↓I0`&αI`0"Qα`pλ@B`π∩AdPπ⊃(A8ββ Q@↓I ⊂↓I λα) λα) ⊂↓I@⊂"Qβ@πB@ ⊂α∪D`α∪T`β∪ Tpα∪dP∧∩@tPαQ(Epε∧Q@α↓ P0%BI `%β α↓λT ?βB⊂ @P ↓Raλα∩AdPα!∧P↓AT("∨aAαε⊂_αi (↓↓) (↓↓) (↓↓)0_αhT ∞EαA@↓!dxπ∪aeβ@@Eβ@@Eβ@@Eβ@@Dx∧∪a4x¬Sa4x¬S@@λβS@@λβS@@λβS@@λβSADh¬∪! _α∪ @⊂α`Dhα@@_α∪ @⊂α`DPβ@!DPβ@!DPβ@!D("πB1 ε0x%D)1λ%↓ 0 ↓↓ (↓A %↓@ ↓↓ α↓ %↓@ %↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@8%↓@ %↓@ ↓A α↓0 %↓ 0 ↓A (↓A0 %DI1⊂&DλT ∂Dα!p
B@5 ↓U4h¬∪↓DXπ∩`P_β∩@P_∧∩@@ ∧∩@@ ↓@ DPα↓0λα∩@@_α DPα`@λα∩@@_↓@@DPα@@⊂α∩@@⊂α@DPα@0_α∩@@⊂↓@`DPα @_α∩@@λα`DPα 0 α∩A α∩A α∩@p αR``_αRad`ε∪!$`α∪D`↓Q(Bhπ∧ 0pC p%βI0`"Q↓A εβ8↓∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀DPα@@⊂α∩B∧Pλ∩adh¬∪A∧xβ∀Eα⊃(@Xλ∧C↓@β↓
'AI`@&BI0p%∧ !%↓ ↓↓
(↓
(↓
(↓
(↓
(↓
(↓
(↓
(@HT ≡∧α!_β %(αUe⊂βT txβS@t`βR`tPβ∩@dXβStpβS`uλβT@u β∃ U8↓⊃(Cpλ∧B10@I (%↓I08&↓i`8'Aj⊂8)↓j@0*↓J 8(Aip8'↓i@8%Ai 0%↓)0⊂"QA πC0λ↓∩@DPα∩@TXα∩`T`α∪Thα∪ Tpα∪@DpαS`DxαTEαT EλαT@E⊂α∀@U_α∀`U α∃U(α∃ U0α∃@E8↓⊃(GXλ∧CaX¬A* @(B*@(↓* (↓
(↓
(↓
'A)@@%α) @%α)@@'A* (↓
(↓
(↓
(↓*@(B* @*A(T >Dα!p
@TP∧∩A∀`∧∪`Uα∀Eα∀Eα∀Eα∀U∧∀!∃⊂∧∀!∃∧∀Uα∀Eα∀Eα∀Eα∪`T`∧∩A∀P∧∩@T("∨@`∂ε`⊂⊂%↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ 0⊂"P`↔␈␈x␈␈`@∧←␈x␈␈∨␈x␈␈`⊂p%∧ !%CHT ⊃βB⊂` 00↓R@P αR@P αR@P αR@P αR@P αR@P αR@P αR`00↓R`00↓R`00↓R`00↓R`00↓Q(@hαC!A@@i (%↓) (%↓) (%↓) (%@i0_%@i0_%@hT ⊂∧B0p∧@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓R@0`↓RB$P ∩B$(|α <⊂⊗↓(≡@OX≤OX≤
␈␈␈x{@
⎇H⊃(αf0α_{⊂BP∧→L`∩O0!E @3→@;>d
@↓ε03λ =HQ(αf0→x{⊃BP∧→L`>O0#E @3→@↓⊂>d@
@↓ε03⊂L=I⊃(αf0/h{∩BP∧→L`fo0%E @3→@↓]}d`
@↓ε03_o=IQ(αf0Ax{∪BP∧→L`↓_O0'E @3→@αS>e
@↓ε03(V=J⊃(αf0←8{∀BP∧→L`↓Lo0)E @3→@β1>e
@↓ε038=JQ(αf0ux{∃BP∧→L`↓xO0+E @3→@∧
>e@
@↓ε03@j=K⊃(αf0↓∩H{⊗BP∧→L`α//00E @3→@∧p}f⊂
@↓ε03P=L1(αf0↓%({→αP∧→L`αQ/02E @3→@¬7>f0
@↓ε03X=Lq(αf0↓5({~αP∧→L`αuo04E @3→@ε↓}fP
@↓ε03`∨=M1(αf0↓Hh{≠αP∧→L`β≥∂06E @3→@εH>fp
@↓ε03hE=Mq(αf0↓]({≤αP∧→L`βC∂08E @3→@π≤>g⊂
@↓ε03pe=N1(αf0↓oh{≥αP∧→L`βg∂0:E @3→@π]}g0
@↓ε03x`=Nq(αf0αH{≡αP∧→L`∧∂/0<E @3→@λ/>gP
@↓ε03↓λ
=@↓(αf0α∃λ{"P∧→L`∧2/0↓¬ @3→@λy>`_
@↓ε03↓⊂+=@A(αf0α+h{↓"P∧→L`∧←/0β¬ @3→@ W}`8
@↓ε03↓_T=A↓(αf0α?({α"P∧→L`¬
/0¬¬ @3→@
+}c
@↓ε03↓(
=F⊃(αf0αW_{BP∧→L`¬5O0→E @3→@
}>c
@↓ε03↓0"=FQ(αf0αiH{
BP∧→L`¬\O0≠E @3→@O>c@
@↓ε03↓8@=G⊃(αf0α⎇H{ αP∧→L`εε/0∪¬ @3→@(}`x
@↓ε03↓H¬=Gq(αf0β∀8{∧αP∧→L`ε0O0λE @3→@k}aH
@↓ε03↓Hy=C!(αf0β%λ{εbP∧→L`εRo0∞¬ @3→@
8}bλ
@↓ε03↓X%=D1(αf0β7x{ "P∧→L`ε{/0∪E @3→@∞⊗}b@
@↓ε03↓`<=E⊃(αf0βKh{
BP∧→L`π /0∃E @3→@∞P}b`
@↓ε03↓h6=Ea(αf0βX({bP∧→L`π2o0≥¬ @3→@∞v}cX
@↓ε03↓h|=Aa(αf0βah{∂"P∧→L`πJ/0 ¬ @3→@∂~}eX
@↓ε03↓pp=KQ(αf0βr({_αP∧→L`πm/0 ¬ @3→@∂a}a_
@↓ε03↓xN=BA(αf0β{λ{¬"P∧→L`πy∂0¬ @3→@∂y>a8
@↓ε03↓xy=C↓(αf0∧h{↔BP∧→L`λ¬/0?¬ @3→@⊂∂}gx
@↓ε03α,=CQ(αf0∧π_{πBP∧→L`λ~∂0∂E @3→@⊂O}bh
@↓ε03αλa=AA(αf0∧≥λ{αbP∧→L`λAo0≡¬ @3→@⊃∩}cp
@↓ε03α⊂==KA(αf0∧*H{≡bP∧→L`λ]o0>E @3→@⊃L}g`
@↓ε03α_<=Kq(αf0∧;h{λBP∧→L`λ{␈0εE @3→@∩ε↑b
@↓ε03α ≥} ∩≡⊂=xow{⎇x